JICS

Digital Library

Search: "[ keyword: Live Sequence Chart ]" (1)

1. Developing a Reactive System Model from a Scenario-Based Specification Model

Ryoung-Kwo Kwon, Gi-Hwon Kwon, Vol. 13, No. 1, pp. 99-106, Feb. 2012
10.7472/jksii.2012.13.1.99
Keywords: LTL Synthesis, Reactive System, Scenario Based Specification, Live Sequence Chart

Vol. 25, 2024
- Vol. 25, No. 1 (Feb. 2024)
Vol. 24, 2023
- Vol. 24, No. 6 (Dec. 2023)
- Vol. 24, No. 5 (Oct. 2023)
- Vol. 24, No. 4 (Aug. 2023)
- Vol. 24, No. 3 (Jun. 2023)
- Vol. 24, No. 2 (Apr. 2023)
- Vol. 24, No. 1 (Feb. 2023)
Vol. 23, 2022
- Vol. 23, No. 6 (Dec. 2022)
- Vol. 23, No. 5 (Oct. 2022)
- Vol. 23, No. 4 (Aug. 2022)
- Vol. 23, No. 3 (Jun. 2022)
- Vol. 23, No. 2 (Apr. 2022)
- Vol. 23, No. 1 (Feb. 2022)
Vol. 22, 2021
- Vol. 22, No. 6 (Dec. 2021)
- Vol. 22, No. 5 (Oct. 2021)
- Vol. 22, No. 4 (Aug. 2021)
- Vol. 22, No. 3 (Jun. 2021)
- Vol. 22, No. 2 (Apr. 2021)
- Vol. 22, No. 1 (Feb. 2021)
Vol. 21, 2020
- Vol. 21, No. 6 (Dec. 2020)
- Vol. 21, No. 5 (Oct. 2020)
- Vol. 21, No. 4 (Aug. 2020)
- Vol. 21, No. 3 (Jun. 2020)
- Vol. 21, No. 2 (Apr. 2020)
- Vol. 21, No. 1 (Feb. 2020)
Vol. 20, 2019
- Vol. 20, No. 6 (Dec. 2019)
- Vol. 20, No. 5 (Oct. 2019)
- Vol. 20, No. 4 (Aug. 2019)
- Vol. 20, No. 3 (Jun. 2019)
- Vol. 20, No. 2 (Apr. 2019)
- Vol. 20, No. 1 (Feb. 2019)
Vol. 19, 2018
- Vol. 19, No. 6 (Dec. 2018)
- Vol. 19, No. 5 (Oct. 2018)
- Vol. 19, No. 4 (Aug. 2018)
- Vol. 19, No. 3 (Jun. 2018)
- Vol. 19, No. 2 (Apr. 2018)
- Vol. 19, No. 1 (Feb. 2018)
Vol. 18, 2017
- Vol. 18, No. 6 (Dec. 2017)
- Vol. 18, No. 5 (Oct. 2017)
- Vol. 18, No. 4 (Aug. 2017)
- Vol. 18, No. 3 (Jun. 2017)
- Vol. 18, No. 2 (Apr. 2017)
- Vol. 18, No. 1 (Feb. 2017)
Vol. 17, 2016
- Vol. 17, No. 6 (Dec. 2016)
- Vol. 17, No. 5 (Oct. 2016)
- Vol. 17, No. 4 (Aug. 2016)
- Vol. 17, No. 3 (Jun. 2016)
- Vol. 17, No. 2 (Apr. 2016)
- Vol. 17, No. 1 (Feb. 2016)
Vol. 16, 2015
- Vol. 16, No. 6 (Dec. 2015)
- Vol. 16, No. 5 (Oct. 2015)
- Vol. 16, No. 4 (Aug. 2015)
- Vol. 16, No. 3 (Jun. 2015)
- Vol. 16, No. 2 (Apr. 2015)
- Vol. 16, No. 1 (Feb. 2015)
Vol. 15, 2014
- Vol. 15, No. 6 (Dec. 2014)
- Vol. 15, No. 5 (Oct. 2014)
- Vol. 15, No. 4 (Aug. 2014)
- Vol. 15, No. 3 (Jun. 2014)
- Vol. 15, No. 2 (Apr. 2014)
- Vol. 15, No. 1 (Feb. 2014)
Vol. 14, 2013
- Vol. 14, No. 6 (Dec. 2013)
- Vol. 14, No. 5 (Oct. 2013)
- Vol. 14, No. 4 (Aug. 2013)
- Vol. 14, No. 3 (Jun. 2013)
- Vol. 14, No. 2 (Apr. 2013)
- Vol. 14, No. 1 (Feb. 2013)
Vol. 13, 2012
- Vol. 13, No. 6 (Dec. 2012)
- Vol. 13, No. 5 (Oct. 2012)
- Vol. 13, No. 4 (Aug. 2012)
- Vol. 13, No. 3 (Jun. 2012)
- Vol. 13, No. 2 (Apr. 2012)
- Vol. 13, No. 1 (Feb. 2012)
Vol. 12, 2011
- Vol. 12, No. 6 (Dec. 2011)
- Vol. 12, No. 5 (Oct. 2011)
- Vol. 12, No. 4 (Aug. 2011)
- Vol. 12, No. 3 (Jun. 2011)
- Vol. 12, No. 2 (Apr. 2011)
- Vol. 12, No. 1 (Feb. 2011)
Vol. 11, 2010
- Vol. 11, No. 6 (Dec. 2010)
- Vol. 11, No. 5 (Oct. 2010)
- Vol. 11, No. 4 (Aug. 2010)
- Vol. 11, No. 3 (Jun. 2010)
- Vol. 11, No. 2 (Apr. 2010)
- Vol. 11, No. 1 (Feb. 2010)
Vol. 10, 2009
- Vol. 10, No. 6 (Dec. 2009)
- Vol. 10, No. 5 (Oct. 2009)
- Vol. 10, No. 4 (Aug. 2009)
- Vol. 10, No. 3 (Jun. 2009)
- Vol. 10, No. 2 (Apr. 2009)
- Vol. 10, No. 1 (Feb. 2009)
Vol. 9, 2008
- Vol. 9, No. 6 (Dec. 2008)
- Vol. 9, No. 5 (Oct. 2008)
- Vol. 9, No. 4 (Aug. 2008)
- Vol. 9, No. 3 (Jun. 2008)
- Vol. 9, No. 2 (Apr. 2008)
- Vol. 9, No. 1 (Feb. 2008)
Vol. 8, 2007
- Vol. 8, No. 6 (Dec. 2007)
- Vol. 8, No. 5 (Oct. 2007)
- Vol. 8, No. 4 (Aug. 2007)
- Vol. 8, No. 3 (Jun. 2007)
- Vol. 8, No. 2 (Apr. 2007)
- Vol. 8, No. 1 (Feb. 2007)
Vol. 7, 2006
- Vol. 7, No. 6 (Dec. 2006)
- Vol. 7, No. 5 (Oct. 2006)
- Vol. 7, No. 4 (Aug. 2006)
- Vol. 7, No. 3 (Jun. 2006)
- Vol. 7, No. 2 (Apr. 2006)
- Vol. 7, No. 1 (Feb. 2006)
Vol. 6, 2005
- Vol. 6, No. 6 (Dec. 2005)
- Vol. 6, No. 5 (Oct. 2005)
- Vol. 6, No. 4 (Aug. 2005)
- Vol. 6, No. 3 (Jun. 2005)
- Vol. 6, No. 2 (Apr. 2005)
- Vol. 6, No. 1 (Feb. 2005)
Vol. 5, 2004
- Vol. 5, No. 6 (Dec. 2004)
- Vol. 5, No. 5 (Oct. 2004)
- Vol. 5, No. 4 (Aug. 2004)
- Vol. 5, No. 3 (Jun. 2004)
- Vol. 5, No. 2 (Apr. 2004)
- Vol. 5, No. 1 (Feb. 2004)
Vol. 4, 2003
- Vol. 4, No. 6 (Dec. 2003)
- Vol. 4, No. 5 (Oct. 2003)
- Vol. 4, No. 4 (Aug. 2003)
- Vol. 4, No. 3 (Jun. 2003)
- Vol. 4, No. 2 (Apr. 2003)
- Vol. 4, No. 1 (Feb. 2003)
Vol. 3, 2002
- Vol. 3, No. 6 (Dec. 2002)
- Vol. 3, No. 5 (Oct. 2002)
- Vol. 3, No. 4 (Aug. 2002)
- Vol. 3, No. 3 (Jun. 2002)
- Vol. 3, No. 2 (Apr. 2002)
- Vol. 3, No. 1 (Feb. 2002)
Vol. 2, 2001
- Vol. 2, No. 5 (Dec. 2001)
- Vol. 2, No. 4 (Oct. 2001)
- Vol. 2, No. 3 (Aug. 2001)
- Vol. 2, No. 2 (Jun. 2001)
- Vol. 2, No. 1 (Feb. 2001)
Vol. 1, 2000
- Vol. 1, No. 2 (Dec. 2000)
- Vol. 1, No. 1 (Nov. 2000)